Nuprl Definition : subtract def 13,42
n - m is Primitive 
latex

Upcore 1, core 1

origin